Optimal. Leaf size=58 \[ \frac{4 x^{m+1} \sqrt{a+b \sqrt{\frac{c}{x}}} \, _2F_1\left (1,\frac{1}{2} (-4 m-3);\frac{3}{2};\frac{a+b \sqrt{\frac{c}{x}}}{a}\right )}{a} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0876514, antiderivative size = 78, normalized size of antiderivative = 1.34, number of steps used = 6, number of rules used = 6, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.261, Rules used = {369, 343, 341, 339, 67, 65} \[ \frac{4 b^2 c (d x)^m \sqrt{a+b \sqrt{\frac{c}{x}}} \left (-\frac{b \sqrt{\frac{c}{x}}}{a}\right )^{2 m} \, _2F_1\left (\frac{1}{2},2 m+3;\frac{3}{2};\frac{\sqrt{\frac{c}{x}} b}{a}+1\right )}{a^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 369
Rule 343
Rule 341
Rule 339
Rule 67
Rule 65
Rubi steps
\begin{align*} \int \frac{(d x)^m}{\sqrt{a+b \sqrt{\frac{c}{x}}}} \, dx &=\operatorname{Subst}\left (\int \frac{(d x)^m}{\sqrt{a+\frac{b \sqrt{c}}{\sqrt{x}}}} \, dx,\sqrt{x},\frac{\sqrt{\frac{c}{x}} x}{\sqrt{c}}\right )\\ &=\operatorname{Subst}\left (\left (x^{-m} (d x)^m\right ) \int \frac{x^m}{\sqrt{a+\frac{b \sqrt{c}}{\sqrt{x}}}} \, dx,\sqrt{x},\frac{\sqrt{\frac{c}{x}} x}{\sqrt{c}}\right )\\ &=\operatorname{Subst}\left (\left (2 x^{-m} (d x)^m\right ) \operatorname{Subst}\left (\int \frac{x^{-1+2 (1+m)}}{\sqrt{a+\frac{b \sqrt{c}}{x}}} \, dx,x,\sqrt{x}\right ),\sqrt{x},\frac{\sqrt{\frac{c}{x}} x}{\sqrt{c}}\right )\\ &=-\operatorname{Subst}\left (\left (2 x^{-m} (d x)^m\right ) \operatorname{Subst}\left (\int \frac{x^{-1-2 (1+m)}}{\sqrt{a+b \sqrt{c} x}} \, dx,x,\frac{1}{\sqrt{x}}\right ),\sqrt{x},\frac{\sqrt{\frac{c}{x}} x}{\sqrt{c}}\right )\\ &=\operatorname{Subst}\left (\frac{\left (2 b^3 c^{3/2} \left (-\frac{b \sqrt{c}}{a \sqrt{x}}\right )^{2 m} (d x)^m\right ) \operatorname{Subst}\left (\int \frac{\left (-\frac{b \sqrt{c} x}{a}\right )^{-1-2 (1+m)}}{\sqrt{a+b \sqrt{c} x}} \, dx,x,\frac{1}{\sqrt{x}}\right )}{a^3},\sqrt{x},\frac{\sqrt{\frac{c}{x}} x}{\sqrt{c}}\right )\\ &=\frac{4 b^2 c \sqrt{a+b \sqrt{\frac{c}{x}}} \left (-\frac{b \sqrt{\frac{c}{x}}}{a}\right )^{2 m} (d x)^m \, _2F_1\left (\frac{1}{2},3+2 m;\frac{3}{2};1+\frac{b \sqrt{\frac{c}{x}}}{a}\right )}{a^3}\\ \end{align*}
Mathematica [A] time = 0.186254, size = 96, normalized size = 1.66 \[ \frac{4 b^2 c (d x)^m \left (1-\frac{a}{a+b \sqrt{\frac{c}{x}}}\right )^{2 m} \, _2F_1\left (2 m+\frac{5}{2},2 m+3;2 m+\frac{7}{2};\frac{a}{a+b \sqrt{\frac{c}{x}}}\right )}{(4 m+5) \left (a+b \sqrt{\frac{c}{x}}\right )^{5/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.047, size = 0, normalized size = 0. \begin{align*} \int{ \left ( dx \right ) ^{m}{\frac{1}{\sqrt{a+b\sqrt{{\frac{c}{x}}}}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (d x\right )^{m}}{\sqrt{b \sqrt{\frac{c}{x}} + a}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: UnboundLocalError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (d x\right )^{m}}{\sqrt{a + b \sqrt{\frac{c}{x}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (d x\right )^{m}}{\sqrt{b \sqrt{\frac{c}{x}} + a}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]